Bookmark:Types and Programming Language
from
型理論を学びたい
量が非常に多いので読み切ることは想定していないが、部分的に参考になる部分があるかもしれない。
Bookmark
:
Types and Programming Language
https://github.com/MPRI/M2-4-2/blob/master/Types%20and%20Programming%20Languages.pdf